- 2 402 202 книги
- Поиск
Handbook of Logic in Computer Science 5
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Компьютеры
Размер книги: 24.82 Mb
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes ... Computer Science and General Issues)
Автор: Samson Abramsky, Автор: Cyril Gavoille, Автор: Claude Kirchner, Автор: Friedhelm Meyer auf der Heide, Автор: Paul SpirakisКатегория: Компьютеры
Размер книги: 8.77 Mb
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Компьютеры
Размер книги: 17.48 Mb
Handbook of Logic in Computer Science 5
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Компьютеры
Размер книги: 24.82 Mb
American Furies: Crime, Punishment, and Vengeance in the Age of Mass Imprisonment
Автор: Sasha Abramsky
Размер книги: 13.04 Mb
Brain Disease: therapeutic strategies and repair
Автор: Oded Abramsky, Автор: D. Alastair S. Compston, Автор: Ariel Miller, Автор: Gerard Said
Размер книги: 4.82 Mb
Introduction to Categories and Categorial Logic (draft)
Автор: Samson Abramsky, Автор: Nikos Tzevelekos
Размер книги: 898 Kb
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)
Автор: Samson Abramsky, Автор: Cyril Gavoille, Автор: Claude Kirchner, Автор: Friedhelm Meyer auf der Heide, Автор: Paul Spirakis
Размер книги: 7.24 Mb
Handbook of logic in computer science
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Mathematical logic
Размер книги: 2.64 Mb
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development
Автор: S. Abramsky, Автор: T.S.E. MaibaumКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.22 Mb
Category Theory and Computer Programming
Автор: David Pitt, Автор: Samson Abramsky, Автор: Axel Poigne, Автор: David RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.80 Mb
Typed Lambda Calculi and Applications, 5 conf., TLCA 2001
Автор: Samson AbramskyКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.84 Mb
Category Theory and Computer Science, 4 conf
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.68 Mb
Handbook of Logic in Computer Science 5
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Computer Science, Computer Science
Размер книги: 27.86 Mb